.LTR(Professor Roger Schank)
Computer Science Department
10 Hillhouse Avenue
Yale University
New Haven, Connecticutt 06520
.FAC

Dear Professor Schank,

I'm a fourth-year grad student in Stanford's CS department; you may recall
me from Cordell's group at the AI lab, or from Tbilisi.
For my dissertation,
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
It uses
skills from %2automatic programming%* to tackle a %2theory
formation%* task. An abstract of the project is enclosed.

My committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. Cordell and Ed have suggested that I
write you, since I expect to receive my Ph.D. by next Fall. I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
The young, growing nature of your department seems particularly appealing.
I could visit Yale sometime this Winter,
perhaps in February or early March, 
to give a colloquium on my dissertation research.


.DBL
.LTR(Professor Jack Sklansky)
Department of Computer Science
University of California at Irvine
Irvine, Ca. 92664

.FAC

Dear Jack,

Greetings!  I hope this quarter has been a productive one for you.

I managed to get the Goldsteins' tape out of the Soviet Union, and
the local Council on Soviet Jewery is distributing copies of it.
They already had written copies of the statement you and Isai wrote.
No doubt you've heard that Isai was drafted; please let me know if you
learn the outcome of that crisis.

As you may recall,
I'm a fourth-year grad student in Stanford's CS department. I expect to
receive my Ph.D. by next Fall.
For my dissertation,
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
A brief description of the project is enclosed.

I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
I could visit Irvine sometime this Winter,
to give a colloquium on my dissertation research.
I will be in Anaheim for ACM76, on February 9-12; other than that,
I have no definite commitments yet for February.

.DBL
.LTR(Professor Meier Weinstein)
Information Sciences Department
286-80
California Institute of Technology
Pasadena, California 91109
.FAC

Dear Meier,

Greetings!  I hope this quarter has been a productive one for you.

I managed to get the Goldsteins' tape out of the Soviet Union, and
the local Council on Soviet Jewery is distributing copies of it.
No doubt you've heard that Isai was drafted; please let me know if you
learn the outcome of that crisis.

As you may recall,
I'm a fourth-year grad student in Stanford's CS department. I expect to
receive my Ph.D. by next Fall.
For my dissertation,
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
It uses
skills from %2automatic programming%* to tackle a %2theory
formation%* task. An abstract of the project is enclosed.

My committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. 
I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
One of my biggest "growth" periods was the
summer of 1972, which I spent in your department.
I could visit Caltech sometime this Winter,
to give a colloquium on my dissertation research.
I will be in Anaheim for ACM76, on February 9-12; other than that,
I have no definite commitments yet for February.


.DBL
.LTR(Professor Allen Newell)
Department of Computer Science
Carnegie-Mellon University
Pittsburgh, Pennsylvania 15213

.FAD

Dear Professor Newell,

In case we are not able to meet while you are in the Palo Alto area,
I am sending you this description of my recent research. 
As Ed Feigenbaum mentioned to you, I expect to receive my Ph.D. by next
Fall.

In addition to Ed, my thesis committee consists of Cordell Green,
Bruce Buchanan, and Don Knuth. They have suggested that I
write you.
I would welcome the opportunity to
discuss my thesis with you.

Hoping to hear from you soon,

.DBL